Rename htmldoc directory and change the references to it.
authorBernd Zeimetz <bernd@bzed.de>
Sun, 2 May 2010 12:07:57 +0000 (14:07 +0200)
committerBernd Zeimetz <bernd@bzed.de>
Sun, 2 May 2010 18:44:40 +0000 (20:44 +0200)
commit56dd1e9b352ed97dfa5c7a3cfa7bfa12e5d67d44
tree3f420df91c9a293459f6cb0a0d8fb06081d053d8
parent5f1d5231105a8deeb708dcb6d627cd0a52fe397d
Rename htmldoc directory and change the references to it.
debian/patches/htmldoc-location [new file with mode: 0644]
debian/patches/series
debian/rules